//]]>
Unhighlight Highlight
The Logic of Categorial Grammars by Moot, Richard. Publication: . X, 300 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
How the World Computes by Cooper, S. Barry. Publication: . XVIII, 756p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Mossakowski, Till. Publication: . X, 303 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Ditmarsch, Hans. Publication: . XI, 403 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Mathematics of Language by Kanazawa, Makoto. Publication: . IV, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Games on Automatic Structures by Kaiser, Łukasz. Publication: . XII, 118 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models of Computation in Context by Löwe, Benedikt. Publication: . XIII, 319p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Ong, Luke. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Argument of Mathematics by Aberdein, Andrew. Publication: . X, 393 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements by Geldsetzer, Lutz. Publication: . XLIV, 137 p. 10 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Epistemology versus Ontology by Dybjer, P. Publication: . XXVII, 385 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Treatise on Intuitionistic Type Theory by Granström, Johan Georg. Publication: . XIV, 198 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Strict Finitism and the Logic of Mathematical Applications by Ye, Feng. Publication: . XII, 272 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Truth and Falsehood by Shramko, Yaroslav. Publication: . XIV, 250 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Games, Norms and Reasons by van Benthem, Johan. Publication: . XVI, 232 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundational Theories of Classical and Constructive Mathematics by Sommaruga, Giovanni. Publication: . XII, 316 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Mathematics, Philosophy, Vintage Enthusiasms by DeVidi, David. Publication: . XVIII, 486 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Proof, Computation and Agency by van Benthem, Johan. Publication: . XXIV, 372 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 Next >>
Languages: 
English |
العربية